#pragma once

#ifdef __KERNEL__

int printk(const char *fmt, ...) __attribute__((format(printf, 1, 2))); // 第一个参数应该是一个格式化字符串,并且后面的参数按照这个格式化字符串进行解析

#endif
